transitivity laws

可迁律